1. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
Author: Antonis C. Kakas, Fariba Sadri )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
Classification :
QA
76
.
L28
Vol
.
2407-2408
2. Mental simulation : evaluations and applications
Author: edited by Martin Davies and Tony Stone
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Insight,، Kowalski, Robert,، Thought and thinking
Classification :
BF
449
.
5
.
M46
